目前最为流行的数字化音乐格式是MP3音乐，MP3指的是( )。